تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۵۵ ثانیه یافت شد.

1. First-order dynamic logic

پدیدآورنده : Harel, David, 0591-

کتابخانه: (طهران)

موضوع : ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory

رده :

L28

Vol

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها